F. Orejas And NotEspagne
List of bibliographic references
Number of relevant bibliographic references: 1.Ident. | Authors (with country if any) | Title |
---|---|---|
00CF25 | M. Navarro ; F. Orejas ; J.-L. Rémy | Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications |
This area was generated with Dilib version V0.6.33. |